Step of Proof: inconsistent-bool-eq2
11,40
postcript
pdf
Inference at
*
1
1
1
I
of proof for Lemma
inconsistent-bool-eq2
:
1. (inr
) = (inl
)
2. 1 = 0
False
latex
by Auto
latex
.
Definitions
False
,
Void
origin
) = (inl )
False
by Auto
. ) = (inl )
False
by Auto
.